span.highlight {
	background-color:#FFFFCC;
	font-weight:bold;
	padding:1px 4px;
}
